Formica truncicola subsp. obscuriventris